<?php
class A {
  public function a(array $a1 = "abc") {}
}
